-
1 coalgebraic structure
Большой англо-русский и русско-английский словарь > coalgebraic structure
-
2 coalgebraic structure
Математика: коалгебраическая структура -
3 coalgebraic structure
English-Russian scientific dictionary > coalgebraic structure
-
4 structure
1) конструкция; строение; структура || структурировать2) сооружение, здание; строительная конструкция3) состав4) текстура5) геол. формация•- finitely generated structure - fish protection structure - locally convex structure - recursively presentable structure - redundant logical structure - strictly finer structure - strongly undecidable structure - weakly saturated structure -
5 коалгебраическая структура
Русско-английский научно-технический словарь Масловского > коалгебраическая структура
-
6 коалгебраическая структура
Большой англо-русский и русско-английский словарь > коалгебраическая структура
-
7 коалгебраическая структура
Mathematics: coalgebraic structureУниверсальный русско-английский словарь > коалгебраическая структура
-
8 lattice
1) плетение2) решётка, сетка || решетчатый3) пространственная решётка, структура•- almost contact lattice - almost tangent lattice - completely regular lattice - locally convex lattice - locally distributive lattice - locally modular lattice - lower semimodular lattice - metrically simple lattice - relatively pseudocomplemented lattice - structurally regular lattice - topologically dense lattice
См. также в других словарях:
F-coalgebra — In mathematics, specifically in category theory, an F coalgebra is a structure defined according to a functor F. For both algebra and coalgebra, a functor is a convenient and general way of organizing a signature. This has applications in… … Wikipedia
Object-oriented programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
Common Algebraic Specification Language — The Common Algebraic Specification Language (CASL) is a general purpose specification language based on first order logic with induction. Partial functions and subsorting are also supported. CASL has been designed by CoFI, the Common Framework… … Wikipedia